TIL and Logic Programming
نویسندگان
چکیده
The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way.
منابع مشابه
Functional Programming Based on Transparent Intensional Logic
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the TILScript project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script...
متن کاملTemporal Aspects of Knowledge and Information
The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning...
متن کاملStructural Isomorphism of Meaning and Synonymy
In this paper I am going to deal with the phenomenon of synonymy from the logical point of view. In Transparent Intensional Logic (TIL), which is my background theory, the sense of an expression is an algorithmically structured procedure detailing what operations to apply to what procedural constituents to arrive at the object (if any) denoted by the expression. Such procedures are rigorously d...
متن کاملQuestions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic
First, some basic notions of transparent intensional logic (TIL) are introduced. Secondly, it is studied how natural-language interrogatives are analyzed in TIL.
متن کاملTIL as the Logic of Communication in a Multi-Agent System
The method of encoding communication of agents in a multi-agent system (MAS) is described. The autonomous agents communicate with each other by exchanging messages formulated in a near-to-natural language. Transparent Intensional Logic (TIL) is an expressive system primarily designed for the logical analysis of natural language; thus we make use of TIL as a tool for encoding the semantic conten...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008